universal proposition

一般命题
全称名题
全命题